xen/arm: flush D-cache and I-cache when appropriate
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Mon, 19 Nov 2012 12:59:46 +0000 (12:59 +0000)
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>
Mon, 19 Nov 2012 12:59:46 +0000 (12:59 +0000)
commita8c81103334f89bf3bfc051201e4b5717a014d4d
treeedbb85f7b25e9cbc09431641bf7dddcb11e14b51
parentbbb674634953a496af2327b745ba02e54f5d7b0b
xen/arm: flush D-cache and I-cache when appropriate

- invalidate tlb after setting WXN
- flush D-cache and I-cache after relocation;
- invalidate D-cache after writing to smp_up_cpu;
- flush I-cache after changing HTTBR;
- flush I-cache and branch predictor after writing Xen text ptes.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/head.S
xen/arch/arm/mm.c
xen/arch/arm/smpboot.c
xen/include/asm-arm/page.h